'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON MARCH 11, 1983, AT 12:47 PM

;Loading DEFSTRUCT 280
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP |ISA-QUANT-TERM MACRO| SUBR)) 
	(COMMENT **FASL** 316. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 343. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 371. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 403. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 442. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 480. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 529. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 584. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 633. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 687. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 725. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 751. (LAP |BUTLAST MACRO| SUBR)) 
	(COMMENT **FASL** 782. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 822. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 858. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 923. (LAP |ALL MACRO| SUBR)) 
	(COMMENT **FASL** 991. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 1041. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1098. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1157. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1201. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1328. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1428. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1439. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1440. (LAP E-LIN-C SUBR)) 
	(COMMENT **FASL** 1444. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1454. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 1747. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 1878. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 1983. (LAP CREATE-LT-WFF-NEGATION SUBR)) 
	(COMMENT **FASL** 1999. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2042. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2069. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2129. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2159. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 2376. (LAP LINTYPE* SUBR)) 
	(COMMENT **FASL** 2540. (LAP |UQ-KERNEL MACRO| SUBR)) 
	(COMMENT **FASL** 2571. (LAP |UQ-⊃-KERNEL MACRO| SUBR)) 
	(COMMENT **FASL** 2602. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2813. (LAP LT-TYPE* SUBR)) 
	(COMMENT **FASL** 2999. (LAP LT-QQU-TYPE SUBR)) 
(COMMENT ****  (CURRENTPOS NIL) 
		Binding number variable to NIL may be a bug in function DISPLAY)
	(COMMENT **FASL** 3144. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 3169. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 3186. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 3213. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3342. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3535. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3567. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4320. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4351. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4389. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4496. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4533. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4560. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4588. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4652. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 4661. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 5031. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 5301. (LAP PRIN-λ-PREFIX SUBR)) 
	(COMMENT **FASL** 5369. (LAP TAB SUBR)) 
	(COMMENT **FASL** 5399. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 5415. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5445. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5474. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5527. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5578. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5603. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 5694. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 5766. (LAP CREATE-F-DESCRIPTS SUBR)) 
	(COMMENT **FASL** 5829. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 5872. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 5917. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 5950. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 5955. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 6276. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 6347. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 6850. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 7127. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 9497. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 9539. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 9741. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 9791. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 9826. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 9870. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 10069. (LAP |ISA-SUPERSORT-OF MACRO| SUBR)) 
	(COMMENT **FASL** 10109. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 10251. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 10284. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 10366. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 10382. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 10419. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 10427. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 10438. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 10716. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 10784. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 10789. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 10791. (LAP COMPARE-ARGS SUBR)) 
	(COMMENT **FASL** 11096. (LAP CA-PUNT SUBR)) 
	(COMMENT **FASL** 11118. (LAP COMPARE-PFC-FORMULAS SUBR)) 
	(COMMENT **FASL** 11208. (LAP COMPARE-VECTORS SUBR)) 
	(COMMENT **FASL** 11256. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 11276. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 11314. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 11320. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 11339. (LAP SOME-DUPLICATE-IK-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 11427. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 11902. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 12017. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 12088. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 12137. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 12178. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 12293. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 12341. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 12382. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 12420. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 12457. (LAP KEYNUMBER SUBR)) 
(COMMENT ****  (EXPRS-LENGTH NIL) 
		Binding number variable to NIL may be a bug in function POSPRINC)
	(COMMENT **FASL** 12474. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 12542. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 12565. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 12865. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 12951. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 13112. (LAP INADVERTENT-TRANSFER-CHECK SUBR)) 
	(COMMENT **FASL** 13201. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 13226. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 13637. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 13876. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 13998. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 14172. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
	(COMMENT **FASL** 14238. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 14407. (LAP COUNT-LINKS&LEAVES SUBR)) 
	(COMMENT **FASL** 14482. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 14780. (LAP DISPLAY-HELP-TABLE-ENTRY LSUBR)) 
	(COMMENT **FASL** 14896. (LAP DISPLAY-TRANSFER-COMMANDS SUBR)) 
	(COMMENT **FASL** 14994. (LAP XPDN-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 15021. (LAP DISPLAY-XPDN-COMMANDS SUBR)) 
	(COMMENT **FASL** 15040. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 15214. (LAP ISA-SIMPLE-SORT-PROPO SUBR)) 
	(COMMENT **FASL** 15245. (LAP SORTALLY-CERTAIN? SUBR)) 
	(COMMENT **FASL** 15261. (LAP SORTALLY-NEG-CERTAIN? SUBR)) 
	(COMMENT **FASL** 15335. (LAP LT-EVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  15567. WORDS)